# SPDX-License-Identifier: GPL-2.0-or-later

tests_riscv32_system_quick = [
  'migration',
  'opensbi',
]

tests_riscv32_system_thorough = [
  'tuxrun',
]
